\begin{tabbing}
$\forall$\=${\it es}$:ES, $A$:Type, ${\it ds}$:$x$:Id fp$\rightarrow$ Type, $v$:($k$:Knd fp$\rightarrow$ $V$:Type $\times$ (State(${\it ds}$)$\rightarrow$$V$$\rightarrow$($A$ + Top)) List),\+
\\[0ex]$i$:Id.
\-\\[0ex]($\neg$($\uparrow$null($v$)))
\\[0ex]$\Rightarrow$ ($\forall$${\it conds}$$\in$$v$. es{-}triggers{-}params{-}consistent(${\it es}$;$A$;$i$;${\it ds}$;${\it conds}$))
\\[0ex]$\Rightarrow$ ($\forall$${\it conds}_{1}$,${\it conds}_{2}$$\in$$v$.  ${\it conds}_{1}$ $\parallel$ ${\it conds}_{2}$)
\\[0ex]$\Rightarrow$ es{-}triggers{-}params{-}consistent(${\it es}$;$A$;$i$;${\it ds}$;$\oplus$($v$))
\end{tabbing}